81. Graph Grammars and Their Application to Computer Science :
Author: by Janice Cuny, Hartmut Ehrig, Gregor Engels.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra_xData processing.,Artificial intelligence.,Combinatorial analysis.
82. Handbook of Philosophical Logic :
Author: by D. Gabbay, F. Guenthner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
Classification :
BC6
.
B934
1989
83. Heritage languages and their speakers /
Author: Maria Polinsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Heritage language speakers.,Language and culture.,Linguistic minorities-- Language.,Linguistic minorities.,Heritage language speakers.,Language and culture.,Linguistic minorities-- Language.,Linguistic minorities.
Classification :
P40
.
5
.
L56
P65
2018
84. Heterogeneity and uniformity in the evidential domain
Author: Korotkova, Natalia
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
85. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
Author: Louise Gerdes, book editor.
Library: Library of Islamic Parliament (Tehran)
Subject:
86. Hybrid Logic and its Proof-Theory
Author: / by Torben Braeuner
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
,.
54
.
B73
2011
87. In defence of objective Bayesianism /
Author: Jon Williamson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bayesian statistical decision theory.,Knowledge, Theory of.,Reasoning-- Mathematical models.,31.02 philosophy and theory of mathematics.,31.70 probability.,Bayes-Entscheidungstheorie.,Bayesian method.,Bayesian statistical decision theory.,Bayes-Verfahren,Bayes-Verfahren.,Beslutsteori-- matematisk statistik.,Decision theory.,épistémologie-- théorie de Bayes.,Epistemology.,Knowledge, Theory of.,Objektivierung,Objektivität.,Reasoning-- Mathematical models.
Classification :
QA279
.
5
.
W5475
2010
88. In pursuit of meaning :
Author: edited by Andrew D. Gross.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Balaam,Bible., Old Testament-- Criticism, interpretation, etc.,Temple scroll.,Canaanites-- Religion.,Cosmography.,Hebrew language-- Grammar.,Hebrew language-- Lexicography.,Inscriptions, Aramaic-- Jordan-- Dayr ʻAllā, Tall.,Sacrifice-- Biblical teaching.,Ugarit (Extinct city), Religious life and customs., 0
Classification :
BS1171
.
3
.
L48
2011
89. Introduction to Chinese natural language processing /
Author: Kam-Fai Wong ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chinese language,Natural language processing (Computer science)
Classification :
QA76
.
9
.
N38
I58
2010
90. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
91. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993
92. LATIN 2018 :
Author: Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
Classification :
QA75
.
5
93. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
94. Languages and tools for hybrid systems design /
Author: Luca P. Carloni [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hybrid computers-- Programming.,Hybrid systems-- Computer simulation.,Hybrid systems-- Design-- Data processing.,Hybrid systems-- Mathematical models.,Programming languages (Electronic computers),System analysis-- Computer programs.,Hybrid computers-- Programming.,Programming languages (Electronic computers),System analysis-- Computer programs.,TECHNOLOGY & ENGINEERING-- Automation.
Classification :
QA76
.
7
.
L36
2006
95. Linguistic borrowing in bilingual contexts /
Author: Fredric W. Field ; foreword by Bernard Comrie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Grammar, Comparative and general-- Morphology.,Language and languages-- Foreign elements.,Languages in contact.,Semantics.,Grammar, Comparative and general-- Morphology.,Language and languages-- Foreign elements.,Languages & Literatures.,Languages in contact.,Philology & Linguistics.,Semantics.
Classification :
P324
.
F54
2002eb
96. Logic Colloquium' 96 :
Author: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
A1
E358
1998
97. Logic and Program Semantics
Author: edited by Robert L. Constable, Alexandra Silva
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
98. Logic and specifiction
Author: Middelburg, Cornelis A
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- Semantics►Software engineering►Logic, Symbolic and mathematical
Classification :
76
.
7
.
M53
99. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
100. Logic, language, information, and computation :
Author: Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
W67
2013
